tarfa: Tableaux and Resolution for Finite Abduction
نویسندگان
چکیده
n-tableaux [1] and δ-resolution [2], which are based, respectively, on semantic tableaux and resolution, have been properly used for the resolution of abductive problems. The tool we present is a Prolog implementation of an abductive solver which combines both calculi to attack first order abductive problems by reducing them to finite versions, that is, propositional rewritings of the problems which presuppose a context representable with finite models with a known cardinality.
منابع مشابه
Abduction via C-tableaux and δ-resolution
The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to w...
متن کاملModel-Baded Abduction via Dual Resolution
This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and uses appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive processes, as a way to construct a set of abductive solutions. The proposed calculus is compare...
متن کاملABox Abduction in Description Logic
In this thesis we elaborate on logic-based automated reasoning techniques for abduction, driven by the principle of goal-oriented reasoning. In the first part we develop two variants of a computational framework for abduction in propositional logic, based on regular connection tableaux and resolution with set-of-support. The procedures are proven to be sound and complete calculi for finding con...
متن کاملIgnorance and Semantic Tableaux: Aliseda on Abduction
This is an examination of similarities and differences between two recent models of abductive reasoning. The one is developed in Atocha Aliseda’s Abductive Reasoning: Logical Investigations into the Processes of Discovery and Evaluation (2006). The other is advanced by Dov Gabbay and the present author in their The Reach of Abduction: Insight and Trial (2005). A principal difference between the...
متن کاملAbduction in equilibrium logic
Equilibrium logic is a system of nonmonotonic reasoning that generalises answer set semantics for logic program~ to a syntactically broader class of theories. The paper discusses the problem of abduction for equilibrium logic, making use of tableaux systems for equilibrium entailment presented in (Pearce, de Guzm(m, Valverde 2000b). An algorithm for generating potential abductive explanations i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006